Embedding Real Time in Stochastic Process Algebras
نویسندگان
چکیده
We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actions and passage of time. The operational semantics is a spent time semantics, avoiding explicit clocks. We discuss the embedding of weak-choice real-time process theories and analyze the behavior of parallel composition in the weak choice framework.
منابع مشابه
Problem Id
We introduce Stochastic Process Algebras as a novel approach for the struc-tured design and analysis of both the functional behaviour and performance characteristics of parallel and distributed systems. This is achieved by integrating performance modelling and analysis into the powerful and well investigated formal description technique of process algebras. After advocating the use of stochasti...
متن کاملTowards the Integration of Real-Time and Probabilistic-Time Process Algebras
A formal approach for the design and analysis of concurrent systems is proposed which integrates two diierent orthogonal aspects of time: the aspect of real-time, concerning the expression of time constraints and the veriication of exact time properties, and the aspect of probabilistic-time, concerning the probabilistic quantiication of non-deterministic durations and the evaluation of system p...
متن کاملMultiple Stochastic Integrals via Sequences in Geometric Algebras
A combinatorial construction of the multiple stochastic integral is developed using sequences in Clifford (geometric) algebras. In particular, sequences of Berezin integrals in an ascending chain of geometric algebras converge in mean to the iterated stochastic integral. By embedding such chains within an infinite-dimensional Clifford algebra, an infinitedimensional analogue of the Berezin inte...
متن کاملStochastic Specification and Verification
Modern distributed systems include a class of applications in which non-functional requirements are important. In particular, these applications include multimedia facilities where real time constraints are crucial to their correct functioning. In order to specify such systems it is necessary to describe that events occur at times given by probability distributions. Stochastic process algebras ...
متن کاملConcept drift detection in business process logs using deep learning
Process mining provides a bridge between process modeling and analysis on the one hand and data mining on the other hand. Process mining aims at discovering, monitoring, and improving real processes by extracting knowledge from event logs. However, as most business processes change over time (e.g. the effects of new legislation, seasonal effects and etc.), traditional process mining techniques ...
متن کامل